1. ......................
پدیدآورنده: Uspenskii, Vladimir Andreevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions
رده :
Q
111
.
A3
no
.
1317
2. .....................
پدیدآورنده: Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
3. .....................
پدیدآورنده: Jones, Neil D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions,، Turing machines
رده :
QA
248
.
5
.
J66
4. A recursive introduction to the theory of computation
پدیدآورنده: Carl H. Smith
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,Data processing ، Recursive functions
رده :
QA
76
.
6
.
S52
5. Algorithmen theorie
پدیدآورنده: / Jacques Loeckx
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive functions,Algorithms,Formal languages
رده :
511
.
8
L825
6. Algorithmentheorie
پدیدآورنده: Loeckx, Jacques, 1931-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Turing machines ► Recursive functions ► Algorithms
رده :
QA
267
.
L6
7. An introduction to the general theory of algorithms
پدیدآورنده: Machtey, Michael.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Recursive functions
رده :
QA
76
.
7
.
M3
9. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen
پدیدآورنده: Hans Hermes
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
H4
1978
10. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده: Hermes, Hans.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
11. Computability
پدیدآورنده: / Martin Davis
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Recursive functions,Unsolvability (Mathematical logic),Computable functions
رده :
QA9
.
615
.
D38
1982
12. Computability /
پدیدآورنده: George J. Tourlakis
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
13. Computability
پدیدآورنده: Tourllakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
T68
1984
14. Computability
پدیدآورنده: Weihrauch, K.)Klaus(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
W45
1987
15. Computability & unsolvability
پدیدآورنده: Davis, Martin, 1928-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Recursive functions ► Unsolvability (Mathematical logic) ► Computable functions
رده :
QA
9
.
615
.
D38
1982
16. Computability : an introduction to recursive function theory
پدیدآورنده: Nigel Cutland
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
17. Computability and logic
پدیدآورنده: Boolos, George.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
18. Computability and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
19. Computability and logic
پدیدآورنده: George Boolos, Richard Jeffrey
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
20. Computability and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
